#include "linux/init_task.h"
#include "linux/sched.h"

struct task_struct init_task  = INIT_TASK(init_task);


union thread_union init_thread_union __init_task_data = 
{
    .thread_info = 
    {
        .task = &init_task,
        .flags = 0,
        .preempt_count = 1,
    },
};
